SECTION code_fp_mbf32
PUBLIC ___mbf32_DVBCDE
EXTERN DVBCDE
defc ___mbf32_DVBCDE = DVBCDE
